Proceedings of the 2010 ACM SIGPLAN International Conference on Functional Programming (ICFP'10)ACM SIGPLAN notices. 2010, Vol 45, Num 9, issn 1523-2867, 394 p.Conference Proceedings

Higher-order Representation of Substructural LogicsCRARY, Karl.ACM SIGPLAN notices. 2010, Vol 45, Num 9, pp 131-141, issn 1523-2867, 11 p.Conference Paper

Lazy Tree SplittingBERGSTROM, Lars; RAINEY, Mike; REPPY, John et al.ACM SIGPLAN notices. 2010, Vol 45, Num 9, pp 93-104, issn 1523-2867, 12 p.Conference Paper

A Fresh Look at Programming with Names and BindersPOUILLARD, Nicolas; POTTIER, François.ACM SIGPLAN notices. 2010, Vol 45, Num 9, pp 217-228, issn 1523-2867, 12 p.Conference Paper

A Play on Regular Expressions: Functional PearlFISCHER, Sebastian; HUCH, Frank; WILKE, Thomas et al.ACM SIGPLAN notices. 2010, Vol 45, Num 9, pp 357-368, issn 1523-2867, 12 p.Conference Paper

Abstracting Abstract MachinesVAN HORN, David; MIGHT, Matthew.ACM SIGPLAN notices. 2010, Vol 45, Num 9, pp 51-62, issn 1523-2867, 12 p.Conference Paper

Bidirectionalizing Graph TransformationsHIDAKA, Soichiro; ZHENJIANG HU; INABA, Kazuhiro et al.ACM SIGPLAN notices. 2010, Vol 45, Num 9, pp 205-216, issn 1523-2867, 12 p.Conference Paper

Combining Syntactic and Semantic BidirectionalizationVOIGTLÄNDER, Janis; ZHENJIANG HU; MATSUDA, Kazutaka et al.ACM SIGPLAN notices. 2010, Vol 45, Num 9, pp 181-192, issn 1523-2867, 12 p.Conference Paper

Logical Types for Untyped LanguagesTOBIN-HOCHSTADT, Sam; FELLEISEN, Matthias.ACM SIGPLAN notices. 2010, Vol 45, Num 9, pp 117-128, issn 1523-2867, 12 p.Conference Paper

TeachScheme!—A CheckpointFELLEISEN, Matthias.ACM SIGPLAN notices. 2010, Vol 45, Num 9, pp 129-130, issn 1523-2867, 2 p.Conference Paper

Total Parser CombinatorsANDERS DANIELSSON, Nils.ACM SIGPLAN notices. 2010, Vol 45, Num 9, pp 285-296, issn 1523-2867, 12 p.Conference Paper

Fortifying MacrosCULPEPPER, Ryan; FELLEISEN, Matthias.ACM SIGPLAN notices. 2010, Vol 45, Num 9, pp 235-246, issn 1523-2867, 12 p.Conference Paper

Matching Lenses: Alignment and View UpdateBARBOSA, Davi M. J; CRETIN, Julien; FOSTER, Nate et al.ACM SIGPLAN notices. 2010, Vol 45, Num 9, pp 193-204, issn 1523-2867, 12 p.Conference Paper

Security-Typed Programming within Dependently Typed ProgrammingMORGENSTERN, Jamie; LICATA, Daniel R.ACM SIGPLAN notices. 2010, Vol 45, Num 9, pp 169-180, issn 1523-2867, 12 p.Conference Paper

The Reduceron ReconfiguredNAYLOR, Matthew; RUNCIMAN, Colin.ACM SIGPLAN notices. 2010, Vol 45, Num 9, pp 75-86, issn 1523-2867, 12 p.Conference Paper

Functional Pearl: Every Bit CountsVYTINIOTIS, Dimitrios; KENNEDY, Andrew J.ACM SIGPLAN notices. 2010, Vol 45, Num 9, pp 15-26, issn 1523-2867, 12 p.Conference Paper

Parametricity and Dependent TypesBERNARDY, Jean-Philippe; JANSSON, Patrik; PATERSON, Ross et al.ACM SIGPLAN notices. 2010, Vol 45, Num 9, pp 345-356, issn 1523-2867, 12 p.Conference Paper

Program Verification Through Characteristic FormulaeCHARGUERAUD, Arthur.ACM SIGPLAN notices. 2010, Vol 45, Num 9, pp 321-332, issn 1523-2867, 12 p.Conference Paper

ReCaml: Execution State as the Cornerstone of ReconfigurationsBUISSON, Jérémy; DAGNAT, Fabien.ACM SIGPLAN notices. 2010, Vol 45, Num 9, pp 27-38, issn 1523-2867, 12 p.Conference Paper

Regular, Shape-polymorphic, Parallel Arrays in HaskellKELLER, Gabriele; CHAKRAVARTY, Manuel M. T; LESHCHINSKIY, Roman et al.ACM SIGPLAN notices. 2010, Vol 45, Num 9, pp 261-272, issn 1523-2867, 12 p.Conference Paper

Rethinking SupercompilationMITCHELL, Neil.ACM SIGPLAN notices. 2010, Vol 45, Num 9, pp 309-320, issn 1523-2867, 12 p.Conference Paper

Semantic Subtyping with an SMT SolverBIERMAN, Gavin M; GORDON, Andrew D; HRITCU, Cătălin et al.ACM SIGPLAN notices. 2010, Vol 45, Num 9, pp 105-116, issn 1523-2867, 12 p.Conference Paper

Specifying and Verifying Sparse Matrix CodesARNOLD, Gilad; HÖLZL, Johannes; ALI SINAN KÖKSAL et al.ACM SIGPLAN notices. 2010, Vol 45, Num 9, pp 249-260, issn 1523-2867, 12 p.Conference Paper

The Gentle Art of LevitationCHAPMAN, James; DAGAND, Pierre-Evariste; MCBRIDE, Conor et al.ACM SIGPLAN notices. 2010, Vol 45, Num 9, pp 3-14, issn 1523-2867, 12 p.Conference Paper

Distance Makes the Types Grow Stronger: A Calculus for Differential PrivacyREED, Jason; PIERCE, Benjamin C.ACM SIGPLAN notices. 2010, Vol 45, Num 9, pp 157-168, issn 1523-2867, 12 p.Conference Paper